echo "transP(" > $1.trm
cat $1.pl >> $1.trm
echo ";" >> $1.trm
echo $2 >> $1.trm
echo "?)" >> $1.trm
./term $1
./run $1
php parse.php $1.txt >$1.maude
